nombre masculino Parte de la lógica formal que estudia las estructuras deductivas de las implicaciones lógicas y sus relaciones axiomáticas Cita extraida del diccionario de la RAE cálculo proposicional